Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое applicative order reduction - определение
TECHNIQUE FOR SOLVING LINEAR ORDINARY DIFFERENTIAL EQUATIONS
Reduction of Order
applicative order reduction
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
<programming> An evaluation strategy under which an
expression is evaluated by repeatedly evaluating its leftmost
innermost redex. This means that a function's arguments are
evaluated before the function is applied. This method will
not terminate if a function is given a non-terminating
expression as an argument even if the function is not strict
in that argument. Also known as call-by-value since the
values of arguments are passed rather than their names. This
is the evaluation strategy used by ML, Scheme, Hope and
most procedural languages such as C and Pascal.
See also normal order reduction, parallel reduction.
(1995-01-25)
reduction strategy
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
<theory> An algorithm for deciding which redex(es) to
reduce next. Different strategies have different termination
properties in the presence of recursive functions or values.
See string reduction, normal order reduction, {applicative
order reduction}, parallel reduction
(1995-05-09)
Reduction strategy
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation. Some authors use the term to refer to an evaluation strategy.
Википедия
Reduction of order
Reduction of order (or d’Alembert reduction) is a technique in mathematics for solving second-order linear ordinary differential equations. It is employed when one solution is known and a second linearly independent solution is desired. The method also applies to n-th order equations. In this case the ansatz will yield an (n−1)-th order equation for .
